$\forall$$g$, $h$:GrpSig. InjMonHom($g$;$h$) $\in$ Type